Computer languages - PDFSEARCH.IO - Document Search Engine

Computer languages
Results: 15814

#	Item
621	Go Meta! A Case for Generative Programming and DSLs in Performance Critical Systems Tiark Rompf1 , Kevin J. Brown2 , HyoukJoong Lee2 , Arvind K. Sujeeth2 , Manohar Jonnalagedda4 , Nada Amin4 , Georg Ofenbeck5 , Alen Stoj Add to Reading List Source URL: drops.dagstuhl.de Language: English Software engineering Software Computer programming Programming language implementation Compiler construction Functional languages Object-oriented programming languages Parsing Compiler Metaprogramming Preprocessor Interpreter
622	QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs Koen Claessen John Hughes Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2009-10-12 13:45:57 Software engineering Computer programming Functional languages Software testing Functional programming QuickCheck Random testing Literate programming Procedural programming languages Monad Test data generation Haskell
623	Fold-Based Fusion as a Library A Generative Programming Pearl Manohar Jonnalagedda, Sandro Stucki, EPFL Scala ‘15, Portland, June An Example Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2015-06-14 21:36:50 Software engineering Computer programming Computing Higher-order functions Programming language comparisons Functional languages Object-oriented programming languages Procedural programming languages Scala Fold Map ALGOL 68
624	The Why3 platform Version, May 2016 François Bobot1,2 Jean-Christophe Filliâtre1,2 Add to Reading List Source URL: why3.lri.fr Language: English - Date: 2016-05-27 08:19:42 Software Computer programming Proof assistants Functional languages Theoretical computer science Formal methods Logic in computer science Frama-C SPARK Coq Isabelle OCaml
625	Perl Best Practices Reference Guide Code Layout. Add to Reading List Source URL: campusvirtual.ull.es Language: English - Date: 2012-06-19 07:10:57 Software engineering Computer programming Computing Perl Source code Cross-platform software High-level programming languages Scripting languages Subroutine Perl 6 Scope Return statement
626	customer success UNITED LIFE: IMPROVED DEVELOPMENT CAPABILITY TO ENHANCE BUSINESS INTEGRATION Visual COBOL delivers improved development efficiency At a glance: United Life Insurance Company (United Life) United Life ope Add to Reading List Source URL: www.microfocus.com Language: English - Date: 2016-04-13 19:12:20 Software engineering Software Computer programming Procedural programming languages Cross-platform software COBOL Micro Focus International Microsoft Visual Studio IBM TXSeries CICS
627	Design Principles Behind Smalltalk 15/Jun:48 AM Design Principles Behind Smalltalk Daniel H. H. Ingalls Add to Reading List Source URL: sdmeta.gforge.inria.fr Language: English - Date: 2014-10-09 10:37:25 Software engineering Computer programming Computing Object-oriented programming languages Smalltalk Object-oriented programming Self Objective-C Class Actor model Message passing Metaobject
628	Supero: Making Haskell Faster Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software engineering Computer programming Declarative programming Higher-order functions Programming language comparisons Functional languages Recursion Literate programming Fold Haskell Map XS
629	Counter-Example Complete Verification for Higher-Order Functions N. Voirol, E. Kneuss, V. Kuncak EPFL Scala Symposium 2015 Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2015-06-14 21:40:26 Software engineering Computer programming Computing Data types Functional languages Functional programming Recursion Sorting algorithms Merge sort Scala List Cons
630	Advanced VisualAge Development Eric Clayberg Sr. Vice President of Product Development Instantiations, Inc. April 24, 2002 Add to Reading List Source URL: www.instantiations.com Language: English - Date: 2011-02-28 16:31:00 Software engineering Computer programming Software Subroutines IBM VisualAge Object-oriented programming languages Smalltalk Callback Event Widget

UPDATE